Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
331	Hierarchical Atomic Navigation for Small Display Devices F. G.-Castaño, L. Anido J. Vales, R. Asorey Add to Reading List Source URL: www10.org Language: English - Date: 2001-02-06 23:02:00 Markup languages HTML Technical communication Functional languages XSLT Framing Internet Explorer Web browser HTML element Icon Web page
332	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
333	Specifying Access Control Policies for XML Documents with XPath Irini Fundulaki Maarten Marx∗ Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 11:45:00 Query languages Markup languages Functional languages XPath XML tree XQuery XSLT XACML XML schema Node EXist O:XML
334	STYX: Connecting the XML Web to the World of Semantics Irini Fundulaki1 , Bernd Amann1 , Catriel Beeri2 , Michel Scholl1 , and Anne-Marie Vercoustre3 1 Cedric-CNAM Paris, INRIA Rocquencourt Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 12:12:00 Markup languages Functional languages Query languages Technical communication Transformation languages XQuery XSLT XPath XSL Ontology XML Certification Program Stylus Studio
335	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
336	A Self-Applicable Supercompiler Andrei P. Nemytykh Victoria A. Pinchuk Programming Systems Institute, Pereslavl-Zalesski, Russia Valentin F. Turchin The City College of New York Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Subroutines Refal Metacompilation Closure Pattern matching Free variables and bound variables Variable Parameter Lisp Expression
337	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
338	Optimizely Headline Testing Technical Implementation Guide 631 HOWARD ST. #100 SAN FRANCISCO, CA 94105 Add to Reading List Source URL: blog.optimizely.com Language: English - Date: 2015-05-20 18:31:10 Cross-platform software Optimizely Functional languages Scripting languages Concurrent programming languages Object-oriented programming languages JavaScript Security token Experiment Java
339	Modular Rollback through Control Logging A Pair of Twin Functional Pearls Olin Shivers Aaron Turon Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-18 13:38:38 Compiler construction Procedural programming languages Parsing Control characters Compiling tools Delete character Recursive descent parser LR parser Parser combinator Lexical analysis Forth Scheme
340	Themes in Information-Rich Functional Programming for Internet-Scale Data Sources Don Syme, Keith Battocchi, Kenji Takeda Microsoft Research Cambridge, UK Add to Reading List Source URL: tomasp.net Language: English - Date: 2016-08-05 06:39:50 Markup languages Type theory Type systems Procedural programming languages Functional languages Language Integrated Query JSON Type inference Functional programming Database Programming language Go

UPDATE